|
|
Statická analýza možných hodnot proměnných v programech v C
Ďuričeková, Daniela ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že se v programu nevyskytují chyby za běhu, jako například přístup za hranici pole. Jelikož analýza rozsahu hodnot získává informace o každém místě v programu, lze k její implementaci využít analýzu toku dat (anglicky data-flow analysis). Cílem této diplomové práce je návrh a implementace funkčního nástroje provádějícího analýzu rozsahu hodnot. Práce začíná úvodem do problematiky, vysvětlením analýz toku dat a hodnot proměnných a popisem abstraktní interpretace, která tvoří formální základ analyzátoru. Následuje seznámení s prostředím Code Listener, které bylo využito k implementaci analyzátoru. Jádro práce tvoří návrh, implementace a otestování analyzátoru. V závěru jsou shrnuty nabyté zkušenosti a diskutovány možnosti budoucího vývoje vytvořeného nástroje.
|
|
|
Řízení a financování České asociace stolního tenisu
HOUDKOVÁ, Helena
Bakalářská práce se zaměřuje na Českou asociace stolního tenisu (ČAST), která sdružuje všechny profesionální stolnětenisové kluby v ČR. Práce analyzuje systém řízení ČAST a přidělování finančních prostředků od Ministerstva školství, mládeže a tělovýchovy České republiky (MŠMT). Cílem práce je rozebrat financování asociace stolního tenisu, její popis a analýza rozporů vznikajících z podmínek využití dotací, které stanovuje MŠMT svým Rozhodnutím, proti reálným potřebám svazu. Teoretická část vychází z poznatků o dané problematice a popisuje specifika financování a řízení neziskových organizací (NO). Praktická část je zaměřena na navržení možných alternativ zlepšení stávající situace a doporučení na návrhy úprav pro Rozhodnutí MŠMT tak, aby lépe vycházelo vstříc potřebám svazu. Přínosem práce je odhalení problematiky a trendů, které se týkají oblasti sportu, jeho financování, nastudování a analyzování daného tématu u svazu jednoho ze světově nejrozšířenějších sportů.
|
|
|
Zájmová skupina Svaz měst a obcí ČR v procesu veřejné politiky ČR
Srnová, Eva ; Kotlas, Petr (vedoucí práce) ; Linek, Lukáš (oponent)
Diplomová práce "Zájmová skupina Svaz měst a obcí ČR v procesu veřejné politiky ČR" je hlubší analýzou jedné významné zájmové skupiny obcí a měst České republiky působící v českém veřejném prostoru, Svazu měst a obcí ČR. Na pozadí sociálních hnutí a teorie zájmových skupin jsou podrobně rozebrány aktivity Svazu a jeho přínos pro českou veřejnou politiku. Svaz je hodnocen z pohledu své historie, typologie zájmových skupin a prostředků, kterými disponuje (zejména členské základny, finančních zdrojů a metod ovlivňování veřejných politik). Analýza Svazu ukazuje, že negativní image lobbování v České republice nemusí být vždy oprávněná. Jako organizace zaměřená sice profesně, avšak hájící veřejný zájem, jelikož členy Svazu jsou jako součást veřejné správy obce, prosazuje Svaz to, co v konečném důsledku přináší pozitivní efekt pro životy všech občanů v ČR. V souvislosti s výzvami, kterým Svaz v současnosti čelí, je do práce zařazena případová studie vzniku Sdružení místních samospráv ČR, které se na základě změn v systému výběru daní s dopadem na financování obcí ze strany státu a díky specifickým událostem, kterým Svaz čelil v roce 2007, etablovalo jako hnutí uvnitř Svazu, aby následně vytvořilo vlastní organizaci místních samospráv reprezentující zájmy malých obcí. Potvrdilo se tak, že téma financování...
|
|
|
Odraz společenských změn v období září 1938 - prosinec 1939 ve fotbalovém prostředí podle časopisu Rekord
Kliment, Alexandr ; Bednařík, Petr (vedoucí práce) ; Kraus, Jiří (oponent)
Diplomová práce "Odraz společenských změn v období září 1938 - prosinec 1939 ve fotbalovém prostředí podle časopisu Rekord" se zabývá událostmi, které formovaly českou společnost v době mnichovské krize, druhé republiky a prvních měsíců Protektorátu Čechy a Morava v souvislosti s fotbalovými organizacemi. Na konkrétních případech rozebírá klíčové momenty, které ovlivnily jednotlivé složky veřejného života. Studie si všímá obecných souvislostí a historického kontextu. Analyzuje způsob, jakým se těmto skutečnostem věnoval časopis Rekord, oficiální věstník fotbalové asociace a fotbalového svazu. Text pojednává například o významných zápasech s politickým pozadím, organizačních změnách ve fotbalovém prostředí vyvolaných novými poměry, slučovacích tendencích, protižidovských opatřeních, zrušení profesionalismu či slovenských autonomních snahách. Věnuje se také přímým dopadům okupace pohraničí a později českých zemí na spolkový fotbalový život a chod mistrovských soutěží. Pojednává o českém sebeurčení ve sportu po zřízení protektorátu v březnu 1939 a mezinárodních kontaktech českých fotbalových mužstev do konce roku 1939. Základem práce je historická srovnávací analýza dostupných historických materiálů a porovnání se zpracováním témat v denících Národní politika a Lidové noviny.
|
|
|
Svazové konstrukce a dualita Priestleyové
Hartman, Juraj ; Růžička, Pavel (vedoucí práce) ; Tůma, Jiří (oponent)
V této práci po připomenutí základních pojmů z teorie kategorií, teorie svazů a topologie nejdříve popíšeme tzv. Stoneovu dualitu kate- gorie booleovských svazů a kategorie booleovských topologických pro- storů. Poté popíšeme její zobecnění, tzv. dualitu Priestleyové katego- rie omezených distributivních svazů a kategorie totálně ≤-nesouvislých uspořádaných topologických prostorů. Následně zavedeme svazovou kon- strukci M3[.] a dokážeme, že pro každý distributivní svaz L je svaz M3[L] izomorfní svazu všech spojitých monotónních zobrazení z pro- storu, který je svazu L přiřazen v dualitě Priestleyové, do svazu M3 s diskrétní topologií. Nakonec popíšeme pojem tzv. booleovské mocniny, který zobecníme na pojem tzv. priestleyovské mocniny a dokážeme, že pro každé přirozené číslo n ≥ 3 a pro každý distributivní svaz L je svaz Mn[L] izomorfní priestleyovské mocnině svazu Mn podle svazu L. 1
|
|
|
Marketingová komunikace České baseballové asociace
Rovňanová, Michaela ; Voráček, Josef (vedoucí práce) ; Procházka, Jan (oponent)
Název: Marketingová komunikace České baseballové asociace Cíle: Cílem práce je předložit návrhy a doporučení na zlepšení marketingové komunikace České baseballové asociace. Návrhy a doporučení budou zformovány na základě vyhodnocení současné situace marketingové komunikace asociace. Metody: Pro sběr dat byly využity metody kvantitativní i kvalitativní. Největším přínosem bylo osobní dotazování fanoušků na začátku Extraligy, na jehož základě byl sestaven dotazník pro elektronické dotazování na zářijových finálových utkáních baseballové Extraligy. Pro více informací o současné marketingové komunikaci byla použita analýza interních dokumentů, webových stránek, sociálních sítí a bylo provedeno zúčastněné pozorování strategické marketingové schůzky České baseballové asociace. Na téma marketingové komunikace České baseballové asociace byl proveden také polostrukturovaný rozhovor s odborníkem. Získaná data o výstupech marketingové komunikace jsem porovnala ve vybraných obdobích a vyhodnotila. Teoretická část byla vypracována pomocí studia odborné literatury. Výsledky: Svaz má velký potenciál, protože využívá marketingovou komunikaci jen z části a má velký prostor pro realizaci řady nových marketingových nástrojů, jako je internetový, influencer nebo video marketing. Aby byly změny efektivní a vedly k...
|
|
|
Statická analýza možných hodnot proměnných v programech v C
Ďuričeková, Daniela ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že se v programu nevyskytují chyby za běhu, jako například přístup za hranici pole. Jelikož analýza rozsahu hodnot získává informace o každém místě v programu, lze k její implementaci využít analýzu toku dat (anglicky data-flow analysis). Cílem této diplomové práce je návrh a implementace funkčního nástroje provádějícího analýzu rozsahu hodnot. Práce začíná úvodem do problematiky, vysvětlením analýz toku dat a hodnot proměnných a popisem abstraktní interpretace, která tvoří formální základ analyzátoru. Následuje seznámení s prostředím Code Listener, které bylo využito k implementaci analyzátoru. Jádro práce tvoří návrh, implementace a otestování analyzátoru. V závěru jsou shrnuty nabyté zkušenosti a diskutovány možnosti budoucího vývoje vytvořeného nástroje.
|
host ::
RSS.